\contentsline {lstlisting}{\numberline {2.1}Codice associato all Grafo dei Blocchi Basici in Figura \ref {BB_graph}.}{9}{lstlisting.2.1}
\contentsline {lstlisting}{\numberline {2.2}Codice associato al Grafo dei Cicli in Figura \ref {Grafo_loop}.}{11}{lstlisting.2.2}
\contentsline {lstlisting}{\numberline {2.3}Codice per la generazione dei Grafi in Figura \ref {Archi_di_feedback}}{12}{lstlisting.2.3}
\contentsline {lstlisting}{\numberline {4.1}Struttura base del task}{38}{lstlisting.4.1}
\contentsline {lstlisting}{\numberline {4.2}Esempio di ciclo con cinque chiamate a funzione.}{40}{lstlisting.4.2}
\contentsline {lstlisting}{\numberline {4.3}Esempio di ciclo con quattro/cinque chiamate a funzione.}{42}{lstlisting.4.3}
\contentsline {lstlisting}{\numberline {4.4}Esempio di ciclo che causa un impredicibilit\`a di tipo \textit {Dimensione}.}{43}{lstlisting.4.4}
